منابع مشابه
Découverte d'abstractions dans les modèles, les programmes ou les architectures
— MOTS-CLÉS : Découverte d’abstractions, Analyse Formelle de Concepts, Analyse Relationnelle de Concepts, ingénierie des modèles, diagrammes de classes, composants, architectures
متن کاملRéutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne
D’années en années, le succès des approches basées sur SAT dans de nombreux domaines a contribué à la création de solveurs SAT robustes, efficaces, et pensés pour être réutilisables dans des applications tierces. Dans de nombreux cas, ces applications utilisent l’interface incrémentale des prouveurs SAT proposée par Minisat, qui leur permet d’utiliser les solveurs SAT comme des boites noires, c...
متن کاملClassification multi-labels graduée: Apprendre les relations entre les labels ou limiter la propagation derreur ?
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...
متن کاملUsages prescrits ou annoncés, usages observés. Réflexions sur les usages scolaires du numérique par les enseignants
The use of ICT for Education is an extremely complex issue that can and should be analyzed from different perspectives. This article does not intend to cover all of them but, instead, try to address only some of them by developing a high level view showing the contradictions that characterize different official statements and stressing some educational paradoxes. The article describes the Frenc...
متن کاملTraces de vie présente ou passée : quels indices, signatures ou marqueurs ? - Les numéros thématiques des Comptes rendus - Série Palevol
Toutes les sciences historiques sont dépendantes Historical sciences are based on archives. What is d’archives. Ce qui est vrai en histoire humaine l’est aussi true for human history is also true for the history of life. pour l’histoire de la Vie. Dans le domaine de l’histoire In human history, archives are easily identified; they are humaine, nous savons ce que sont des archives : ce sont manu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: L'Année du Maghreb
سال: 2006
ISSN: 1952-8108,2109-9405
DOI: 10.4000/anneemaghreb.309